Email Record: Advances in verification of time petri nets and timed automata :