André, Étienne, Sproston, J. and Fribourg, L. (2009) “An Extension of the Inverse Method to Probabilistic Timed Automata”, Electronic Communications of the EASST, 23. doi: 10.14279/tuj.eceasst.23.306.