Pourquoi « aller vite » ne suffit pas : Systèmes d'exploitation temps réel (RTOS), WCET, ordonnancement RMS vs EDF et l'inversion de priorité de Mars Pathfinder
