Power Management to Meet Thermal Safe Power in Fault-Tolerant Embedded Systems