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