Real-Time Systems Design and Analysis: Tools for the Practitioner