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