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