Real-time systems abstractions, languages, and design methodologies (IEEE Computer Soc. Press, 1992)