Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications (Hardcover, 4, 2024)