Integrated technique for developing real-time systems
Hooman, J.
;
Vain, Jüri
Journal of system architecture
1996