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