Draw a state machine for a simple two-way stoplight controller. The controller should cycle through the following states: GreenA: Green light for direction A, red for direction B YellowA: Yellow light for direction A, red for direction B GreenB: Green light for direction B, red for direction A YellowB: Yellow light for direction B, red for direction A Repeat The input will be a 2-state signal called Timer_out, which will indicate timer expiration.