David A, Möller MO. From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata. BRICS [Internet]. 2001 Mar. 11 [cited 2024 Apr. 19];8(11). Available from: https://tidsskrift.dk/brics/article/view/20467