Real-Time Systems Design and Analysis: Tools for the Practitioner, Fourth Edition - Laplante