M. Lacortt, M. Kripka, and R. M. L. Kripka, “Modelos Matemáticos para Otimização do Tráfego Urbano Semaforizado”, Trends Comput. Appl. Math., vol. 14, no. 3, pp. 359–372, Nov. 2013.