An Improved Model for System-Level Energy Minimization on Real-Time Systems | IEEE Conference Publication | IEEE Xplore