(c) A cyclic system is used to flash three LED colours: red on for 1s, green for 2s, blue for 3s, repeating endlessly. A state transition model for this behaviour is shown below. Outline the code corresponding to the state transition model, assuming suitable functions for turning the LEDs on and off. Pseudo code is acceptable; exact names and syntax are not required