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