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