StatelySKETCH

trafficLight

green
NEXT→yellow
EMERGENCY→red.flash
5000→yellow
yellow
NEXT→red
EMERGENCY→red.flash
2000→red
red
waiting
PEDESTRIAN_REQUEST→pedestrianCrossing
3000→turnArrow
pedestrianCrossing
4000→turnArrow
turnArrow
3000→clearance
clearance
1000→#trafficLight.green
flash
RESET→#trafficLight.green
EMERGENCY→red.flash
XState