David, A., & Möller, M. O. (2001). From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata. BRICS Report Series, 8(11). https://doi.org/10.7146/brics.v8i11.20467