Ben decides to solve the problem with an FSM. He installs two traffic sensors, TA and TB on Academic Ave and Bravado Blvd respectively. The main road is Academic Avenue. Each sensor indicates TRUE if vehicles are present and FALSE if the street is empty. He also installs two traffic lights, LA and LB to control traffic. Each light receives digital inputs specifying whether it should be green, yellow or red. Hence, his FSM has two inputs, TA and TB and two outputs, LA and LB. The intersection with lights and sensors is shown in Figure 1. Ben provides a clock within 5 second period. On each clock tick (rising edge), the lights may change based on the traffic sensors. He also provides a reset button so that Physical Plant technicians can put the controller in a known initial state when they turn it on. Figure 2 shows a black box view of the state machine. Find moore and mealy and Draw in multisim