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