Power-aware scheduling and dynamic voltage setting for tasks running on a hard real-time system | IEEE Conference Publication | IEEE Xplore