Traffic Light + Switch on Arduino

This project is an extension to the “Traffic Light on Arduino using Stateflow” project. In addition to modeling the switching of traffic lights, there are two modes: automated and manual. A Stateflow chart is used to create state machines for the automated and manual mode.
Automated:
Automates the switching sequence when the push button is held down for more than 1.5 seconds. Red (5 sec) > Amber (2 sec) > Green (5 sec).
Manual:
Changes the light each time the button is pressed.
Transition from Manual to Automated mode:
At any time within manual mode, if the pushbutton is held down for longer than 1.5 seconds, the mode will change to automated. The sequence will restart: Red > Amber > Green, even though the light may have been at amber or green at the point of change.

Transition from Automated to Manual mode:
At any time within automated mode, if the pushbutton is pressed, the mode will change to manual.

Adapted from Simon Monk's "30 Arduino Projects for the Evil Genius".