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