Warum ‚schnell‘ nicht reicht: Echtzeitbetriebssysteme (RTOS), WCET, RMS- vs. EDF-Scheduling und die Mars-Pathfinder-Prioritätsinversion
