Hard Real-Time Computing Systems : Predictable Scheduling Algorithms and Applications - Buttazzo, Giorgio C (Verfasser) (Real-Time Systems Series, 2011)