This project models a traffic light switching sequence, where the switching sequence is automated as follows:
Red (5 sec) > Amber (2 sec) > Green (5 sec)
The code initializes first by blinking all three LEDs three times, and then proceeds with the traffic light sequence.
In the model, a Stateflow chart is used for the logical modelling.

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