David A, Möller MO. From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata. BRICS [Internet]. 11. marts 2001 [henvist 6. december 2025];8(11). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20467