@Article{DKPQ14, author={K. Draeger and M. Kwiatkowska and D. Parker and H. Qu}, title={Local Abstraction Refinement for Probabilistic Timed Programs}, journal={Theoretical Computer Science}, year={2014}, volume={538}, number={}, pages={37–53}, publisher={Elsevier}, month={}, note={}, key={} }