Luis María Ferrer Fioriti, Holger Hermanns. Heuristics for Probabilistic Timed Automata with Abstraction Refinement. In Jens B. Schmitt, editor, Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance - 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings. Volume 7201 of Lecture Notes in Computer Science, pages 151-165, Springer, 2012. [doi]