Por qué «rápido» no es suficiente: Sistemas operativos en tiempo real (RTOS), WCET, planificación RMS vs. EDF y la inversión de prioridad del Mars Pathfinder
