Advances in Verification of Time Petri Nets and Timed Automata door Wojciech Penczek