Real-time systems : Abstractions, languages, and design methodologies - Kavi, Krishna M (Institute of Electrical and Electronics Engineers, 1992)