@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={}
}