Foundations of Real-Time Computing: Scheduling and Resource Management