A genetic algorithm for energy efficient device scheduling in real-time systems | IEEE Conference Publication | IEEE Xplore