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