Traffic light finite state machine. .