Análise Matemática de um Modelo de Controle de Populações de Mosquitos