Real-time systems design and analysis tools for the practitioner - Laplante, Phillip A. (Wiley-IEEE Press, 2012)