In some biggest country traffic lights FSM looks like this: red->red+yellow->green->blinking green->yellow->red, and can transition to blinking yellow from any state.