i remember visiting extended family back in, i think, the early 80s. down in alabama or something. their traffic lights went green>yellow>red, as expected. but then went red>yellow>green.
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.