void setup()
{
  pinMode(13, OUTPUT);
  pinMode(12, OUTPUT);
  pinMode(11, OUTPUT);
}

void loop()
{
  ligarLedVermelho();
  aguardar(4);
  desligarLedVermelho();
  ligarLedAmarelo();
  aguardar(2);
  desligarLedAmarelo();
  ligarLedVerde();
  aguardar(2);
  desligarLedVerde();
}

void aguardar(int segundos) {
  delay(segundos * 1000);
}

void ligarLedVermelho() {
  digitalWrite(13, HIGH);
}

void desligarLedVermelho() {
  digitalWrite(13, LOW);
}

void ligarLedAmarelo() {
  digitalWrite(12, HIGH);
}

void desligarLedAmarelo() {
  digitalWrite(12, LOW);
}

void ligarLedVerde() {
  digitalWrite(11, HIGH);
}

void desligarLedVerde() {
  digitalWrite(11, LOW);
}