Text this: Advances in Verification of Time Petri Nets and Timed Automata