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