Real-Time Systems Design and Analysis: Tools for the Practitioner - Laplante (IEEE, 2012)