Aceto, Luca, Augusto Burgueno, og Kim G. Larsen. “Model Checking via Reachability Testing for Timed Automata”. BRICS Report Series 4, no. 29 (januar 29, 1997). Set december 6, 2025. https://tidsskrift.dk/brics/article/view/18955.