Priority-monotonic energy management for real-time systems with reliability requirements