Analytical Leakage-Aware Thermal Modeling of a Real-Time System | IEEE Journals & Magazine | IEEE Xplore