Nr. 17 (2000): RS-17 Modeling a Language for Embedded Systems in Timed Automata