(1)
Aceto, L.; Bouyer, P.; Burgueno, A.; Larsen, K. The Power of Reachability Testing for Timed Automata. BRICS 1998, 5.