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 April 19, 2024. https://tidsskrift.dk/brics/article/view/19493.