Model Checking via Reachability Testing for Timed Automata (1997)

by Augusto Burgueño, Kim G. Larsen, Luca Aceto, Luca Aceto