To draw transitions in the statechart:
1. Locate the state called RED_STATE_ON. This is the source state. Click on the edge of the box to enter the tail of the arrow.
2. Locate the state called GREEN_STATE_ON. This is the target state. Click on the edge of the box and click to enter the arrowhead.
3. With the Create Transition icon still selected, label the transition:
CHANGE/RED_LIGHT=false;
GREEN_LIGHT=true;
YELLOW_LIGHT=false;'