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