Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, Second Edition