André, Étienne; Sproston, J.; Fribourg, L. An Extension of the Inverse Method to Probabilistic Timed Automata. eceasst 2009, 23.