RELOGIO = (tick -> RELOGIO).

SINALEIRA(A=10,B=20,C=10,D=20) = AMARELO1[1],
AMARELO1[i:1..A] = (when (i < A) tick -> amarelo -> AMARELO1[i+1] | when (i == A) tick -> amarelo -> VERMELHO[1]),
VERMELHO[i:1..B] = (when (i < B) tick -> vermelho -> VERMELHO[i+1] | when (i == B) tick -> vermelho -> AMARELO2[1]),
AMARELO2[i:1..C] = (when (i < C) tick -> amarelo -> AMARELO2[i+1] | when (i == C) tick -> amarelo -> VERDE[1]),
VERDE[i:1..D]    = (when (i < D) tick -> verde -> VERDE[i+1] | when (i == D) tick -> verde -> AMARELO1[1]).

||SIST = (RELOGIO || SINALEIRA(2,4,2,4)).