Aceto L, Bouyer P, Burgueno A, Larsen KG. The Power of Reachability Testing for Timed Automata. BRICS [Internet]. 1998 Jun. 18 [cited 2024 Apr. 27];5(48). Available from: https://tidsskrift.dk/brics/article/view/19493