Optimal procrastinating voltage scheduling for hard real-time systems