Real-time systems design and analysis - Laplante, Phillip A. (John Wiley ; Piscataway, NJ : IEEE Press, 2004)