On probabilistic timed automata, Theoretical Computer Science 292 (2003)

by D Beauquier