L. Aceto, P. Bouyer, A. Burgueno, and K. G. Larsen, “The Power of Reachability Testing for Timed Automata”, BRICS, vol. 5, no. 48, Jun. 1998.