Aceto L, Burgueno A, Larsen KG. Model Checking via Reachability Testing for Timed Automata. BRICS [Internet]. 1997 Jan. 29 [cited 2024 May 5];4(29). Available from: https://tidsskrift.dk/brics/article/view/18955