Return to Article Details Modeling a Language for Embedded Systems in Timed Automata Download Download PDF