Survey A survey of timed automata for the development of real-time systems
Fortuna: Model Checking Priced Probabilistic Timed Automata