ACETO, Luca; BOUYER, Patricia; BURGUENO, Augusto; LARSEN, Kim 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: 26 dec. 2025.