Cruce de Semaforos LED

De la web El cajón de Arduino rescatamos una práctica sencilla para Arduino.

El objetivo es montar un cruce de semáforos con un tiempo de espera de 6 segundos antes del cambio. La secuencia hará una espera de 4 segundos en verde, 2 segundos parpadeando, luego Amarillo y luego Rojo (6 segundos de nuevo). El botón lo programaremos para que reinicie el contador cambiando de semáforo (similar a cuando pulsamos el botón para cruzar en uno de estos).
El diagrama del circuito es el siguiente:

(click en la imagen y accedes a la página fuente).