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 (Mar. 2001). DOI:https://doi.org/10.7146/brics.v8i11.20467.