RELOGIO = (tick -> RELOGIO).

SINALEIRA(A=10,B=20,C=10,D=20) = S[1],
S[i:1..(A+B+C+D)] = (when (i <= A) tick -> amarelo -> S[i+1] | when (i > A && i <= A+B) tick -> vermelho -> S[i+1] |
				     when (i > A+B && i <= A+B+C) tick -> amarelo -> S[i+1] | when (i > A+B+C && i <= A+B+C+D) tick -> verde -> S[i%(A+B+C+D)+1]).

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