David, A. and Möller, M. O. (2001) “From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata”, BRICS Report Series, 8(11). doi: 10.7146/brics.v8i11.20467.