Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications - Buttazzo, Giorgio C. (Springer Science+Business Media, Inc., 2005)