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