Integrating methods for the design of real-time systemsVain, JüriAbstracts of NWPT'96, Oslo 19961996 / p. 32