André, para incrementar o seu projeto, veja esse componente com leds para semáforo:
http://www.baudaeletronica.com.br/modulo-semaforo-gbk-robotics.html
direto e caso apertar B1 entra no pisca? Digo isso porque se você usar a Interrupcao externa quando apertar os 2 não vai pro semaforo, mas sim para a interrupção externa…