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