A. David og M. O. Möller, “From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata”, BRICS, bd. 8, nr. 11, mar. 2001.