Real-time systems design and analysis - Laplante, Phillip A (A John Wiley & Sons, 2012)