Real-time systems design and analysis - Laplante, Phillip A. (Wiley, 2004)