David, A.; Möller, M. O. From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata. BRICS 2001, 8.