Model Checking via Reachability Testing for Timed Automata. (1998)

by L Aceto, A Burgueno, K G Larsen
Venue:Proc. TACAS ’98,