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