RELOGIO = (tick -> RELOGIO).

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

||SIST = (RELOGIO || SINALEIRA).