Advances in verification of time petri nets and timed automata : a temporal logic approach - Penczek, Wojciech (Studies in Computational Intelligence,, 2006)