David, Alexandre, and M. Oliver Möller. “From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata”. BRICS Report Series 8, no. 11 (March 11, 2001). Accessed December 6, 2020. https://tidsskrift.dk/brics/article/view/20467.