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