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