Hune, Thomas S. “Modeling a Language for Embedded Systems in Timed Automata”. BRICS Report Series 7, no. 17 (August 1, 2000). Accessed February 10, 2026. https://tidsskrift.dk/brics/article/view/20144.