Real-time systems abstractions, languages, and design methodologies - Kavi, Krishna M. (IEEE Computer Society, 1992)