Comparativo entre modelos de progressão semafórica para uma malha viária de Manaus utilizando SUMO - Dias, Jhordan; Bastos, Moisés; Barbosa, Kattylinne (ITEGAM-JETIA, 2017)