Energy-aware modeling and scheduling of real-time tasks for dynamic voltage scaling | IEEE Conference Publication | IEEE Xplore