Tilbage til artikeldetaljer Modeling a Language for Embedded Systems in Timed Automata Download Download PDF