#include <Servo.h>
int servoPin=11;
Servo servo1;
long tempo = 10000;

void setup() {
  // put your setup code here, to run once:
  servo1.attach(servoPin);
  pinMode(13, OUTPUT);
  pinMode(12, OUTPUT);
  pinMode(10, OUTPUT);
  pinMode(2, INPUT_PULLUP);
}

void loop() {

  if(digitalRead(2)==0){
    tempo = millis();
  }

  if(millis()- tempo < 5000){
    digitalWrite(13, LOW); //vermelho
    digitalWrite(12, LOW); // amarelo
    digitalWrite(10, HIGH); // verde
    servo1.write(0);
  }
  if(millis()- tempo > 5000 && millis()- tempo < 7000){
    digitalWrite(13, LOW); //vermelho
    digitalWrite(12, HIGH); // amarelo
    digitalWrite(10, LOW); // verde
    servo1.write(0);
  }
  if(millis()- tempo > 7000){
    digitalWrite(13, HIGH); //vermelho
    digitalWrite(12, LOW); // amarelo
    digitalWrite(10, LOW); // verde
    servo1.write(90);
  }
}