Hard real-time computing systems :predictable scheduling algorithms and applications - Buttazzo, Giorgio C (Springer, 2011)