Real-time system design - Levi, Shem-Tov; Agrawala, Ashok K (McGraw-Hill, 1990)