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