The Design and Analysis of Thermal-Resilient Hard-Real-Time Systems | IEEE Conference Publication | IEEE Xplore