Hune, T. S. Modeling a Language for Embedded Systems in Timed Automata. BRICS 2000, 7.