Aceto, Luca, Patricia Bouyer, Augusto Burgueno, and Kim G. Larsen. “The Power of Reachability Testing for Timed Automata”. BRICS Report Series 5, no. 48 (June 18, 1998). Accessed December 26, 2025. https://tidsskrift.dk/brics/article/view/19493.