Qin, Wang, Mishra, 2012. TCEC: Temperature and Energy-Constrained Scheduling in Real-Time Multitasking Systems 31.. https://doi.org/10.1109/tcad.2012.2190824