Mengapa 'Cepat' Saja Tidak Cukup: Sistem Operasi Waktu-Nyata (RTOS), WCET, Penjadwalan RMS vs. EDF, dan Inversi Prioritas Mars Pathfinder