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