Download Advances In Verification Of Time Petri Nets And Timed Automata: A Temporal Logic Approach 2006