Por que 'rápido' não é suficiente: Sistemas Operacionais de Tempo Real (RTOS), WCET, escalonamento RMS vs. EDF e a inversão de prioridade da Mars Pathfinder
