Aceto L, Burgueno A, Larsen KG. Model Checking via Reachability Testing for Timed Automata. BRICS [Internet]. 29. januar 1997 [henvist 5. december 2025];4(29). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/18955