Text this: Advances in verification of time petri nets and timed automata :