A. David and M. O. Möller, “From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata”, BRICS, vol. 8, no. 11, Mar. 2001.