(a) Draw an FSM for a traffic light controller. The controller has three outputs (G, Y, and R) that control the green, yellow, and red lights respectively. At any given time, at most one output can be 1 . There are two inputs to the controller, which are as follows: - EN: When 0, all lights are off. When 1, functions normally (depending on the BLINK input). - BLINK: When 0, the traffic light cycles through the usual Green, Yellow, Red, Green, ... sequence. When 1, the yellow light blinks for as long as BLINK is asserted. The duration of each light signal and the blink frequency is determined by an external timer (not part of the FSM) that acts as a clock. You do NOT need to include this clock signal among the inputs. For each state, show the values of all three outputs. For each transition, show the values of both inputs. If the value of a particular input doesn't matter for a given transition, indicate it with an " X