did most of TrafficLightSystem: voter and fault detection. still need to add control to inject faults