Aceto, L.; Burgueno, A.; Larsen, K. G. Model Checking via Reachability Testing for Timed Automata. BRICS 1997, 4.