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

Published: 2000-01-17