Integrating methods for the design of real-time systems
Vain, Jüri
Abstracts of NWPT'96, Oslo 1996
1996
/
p. 32