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