Advances in verification of time Petri nets and timed automata a temporal logic approach - Penczek, Wojciech; Półrola, Agata (Springer, 2006)