Redundant Controllers lab