TherMa-MiCs: Thermal-Aware Scheduling for Fault-Tolerant Mixed-Criticality Systems | IEEE Journals & Magazine | IEEE Xplore