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