files from the finite state machine traffic light controller lab10 embedded systems