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