Hune, Thomas S. 2000. “Modeling a Language for Embedded Systems in Timed Automata”. BRICS Report Series 7 (17). https://doi.org/10.7146/brics.v7i17.20144.