Integrated technique for developing real-time systemsHooman, J.; Vain, JüriJournal of system architecture1996