Redundant Power Supply Definition