You are about to access our book library "Real-Time Systems Design and Analysis: Tools for the Practitioner full version" .