Why 'Fast' Is Not Enough: The Mathematical Foundations of Real-Time Operating Systems (RTOS), WCET, RMS vs. EDF Scheduling, and the Mars Pathfinder Priority Inversion
