Pruning-based energy-optimal device scheduling for hard real-time systems