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