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 2020Nov.30];8(11). Available from: https://tidsskrift.dk/brics/article/view/20467