Real-Time Systems: Scheduling, Analysis, and Verification