Power-aware scheduling for real-time embedded systems