state transitions cluster__TrafficLight TrafficLight cluster__TrafficLight_EastWest EastWest cluster__TrafficLight_NorthSouth NorthSouth __initial __initial->_TrafficLight _TrafficLight_EastWest_initial _TrafficLight_EastWest_EW_Red EW_Red enter ^out.set_light _TrafficLight_EastWest_initial->_TrafficLight_EastWest_EW_Red _TrafficLight_EastWest_EW_Yellow EW_Yellow enter ^out.set_light _TrafficLight_EastWest_EW_Yellow->_TrafficLight_EastWest_EW_Red change    _TrafficLight_EastWest_EW_Green EW_Green enter ^out.set_light _TrafficLight_EastWest_EW_Green->_TrafficLight_EastWest_EW_Yellow end    _TrafficLight_EastWest_EW_Red->_TrafficLight_EastWest_EW_Green change    _TrafficLight_NorthSouth_initial _TrafficLight_NorthSouth_NS_Green NS_Green enter ^out.set_light _TrafficLight_NorthSouth_initial->_TrafficLight_NorthSouth_NS_Green _TrafficLight_NorthSouth_NS_Red NS_Red enter ^out.set_light _TrafficLight_NorthSouth_NS_Red->_TrafficLight_NorthSouth_NS_Green change    _TrafficLight_NorthSouth_NS_Yellow NS_Yellow enter ^out.set_light _TrafficLight_NorthSouth_NS_Yellow->_TrafficLight_NorthSouth_NS_Red change    _TrafficLight_NorthSouth_NS_Green->_TrafficLight_NorthSouth_NS_Yellow end