Aceto, Luca, Augusto Burgueno, and Kim G. Larsen. “Model Checking via Reachability Testing for Timed Automata”. BRICS Report Series 4, no. 29 (January 29, 1997). Accessed May 5, 2024. https://tidsskrift.dk/brics/article/view/18955.