Embedded Systems Lecture Example Code for a Traffic Light Controller in the week of  Finite State Machine lectures