ACETO, L.; BOUYER, P.; BURGUENO, A.; LARSEN, K. The Power of Reachability Testing for Timed Automata. BRICS Report Series, v. 5, n. 48, 18 Jun. 1998.