#define led1 13
#define botao 3

unsigned long contador = 0;  		// variável que será usada para atribuir o valor do millis.
int tempo = 1000;					// define a variável para calculos com millis posteriormente

void setup() {  					// inicia a sequencia de inicialização
pinMode(led1, OUTPUT); 				// define o led1 como saida
pinMode (botao, INPUT_PULLUP);		// define botao como entrada em estado alto
contador = millis();				// Define o valor inicial de contador
}

void loop() {                       // inicia uma sequencia de loop
if (digitalRead(botao) == 0){		// condição para caso o estado da variavel "botao" seja igual a zero.

if (millis() - contador > tempo){	// condição para o caso do valor de millis, menos var contador, seja maior que a var tempo

for (byte cont = 0; cont < 5; cont++ )	// Neste momento você TRAVA novamente, quase um "delay".
contador = millis();				// após a ação ser executada, o valor da var é atualizado para o próximo calculo.
digitalWrite(led1,!digitalRead (12)); //escreve valor na saida digital.
}
}
}