. Consider a traffic light controller for the intersection of street A and street B. . Each street has traffic sensors, which detect the presence of vehicles approaching or stopped at the intersection. - The Sa='1' (Sensor A value) means a vehicle is approaching on street A and Sb='1' (Sensor B value) means a vehicle is approaching on street B. Street A is a main street and has a green light until a car approaches on B. Then the lights change, and B has a green light. . After 5 seconds, the lights change back unless there is another car on street B and there is no car on street A, in which case the B cycle is extended for additional 3 seconds. . If cars continue to arrive on street B and no car appears on street A, B continues to have green light - When A is green, it remains green at least 10 seconds and then the lights change only when a car approaches on B. - You can assume that Ga and Ra are switches that drive the green and red lights on street A . Similarly, Gb and Rb are switches that drive the green and red lights on street B. Problems 1. Draw a Mealy state diagram for this controller