Energy-Aware Modeling and Scheduling for Dynamic Voltage Scaling with Statistical Real-Time Guarantee | IEEE Journals & Magazine | IEEE Xplore