Gravar e-mail: SINCRONIZAÇÃO DE SEMÁFOROS: MODELO MATEMÁTICO PARA UMA APLICAÇÃO AO TRÁFEGO DE CURITIBA