Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach - Penczek, Wojciech (Springer-Verlag Berlin Heidelberg, 2006)