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