Efficient Verification of Timed Automata Kim Guldstrand Larsen Paul Pettersson Mogens Nielsen BRICS@Aalborg BRICS@Aarhus REGIONS review Petri Net, June 2000 Kim G. Larsen,…