ACETO, L.; BOUYER, P.; BURGUENO, A.; LARSEN, K. G. The Power of Reachability Testing for Timed Automata. BRICS Report Series, [S. l.], v. 5, n. 48, 1998. DOI: 10.7146/brics.v5i48.19493. DisponĂ­vel em: https://tidsskrift.dk/brics/article/view/19493. Acesso em: 20 aug. 2022.