Klaus Dräger, Marta Z. Kwiatkowska, David Parker, Hongyang Qu: Local abstraction refinement for probabilistic timed programs. Theor. Comput. Sci. 538: 37-53 (2014)