"Simulation and Bisimulation for Probabilistic Timed Automata."

Jeremy Sproston, Angelo Troina (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics