Real-time system design - Levi, Shem-Tov (McGraw-Hill series in systems, 1990)