Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications - Buttazzo, Giorgio C. (Springer US, 2011)