Energy-efficient real-time task scheduling with temperature-dependent leakage | IEEE Conference Publication | IEEE Xplore