DAVID, A.; MÖLLER, M. O. From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata. BRICS Report Series, v. 8, n. 11, 11 Mar. 2001.