Hard real-time computing systems
Buttazzo, Giorgio C. cop. 2000