Rodrigues, Peterson, Miguel Ecar, Stefane V. Menezes,  João Pablo S. da Silva, Gilleanes T. A. Guedes, and Elder M. Rodrigues.
"
        Avaliação Empírica do Método Formal para Especificação de Requisitos em Abordagens Ágeis
      ." <em>Anais do XIV Simpósio Brasileiro de Sistemas de Informação,
Caxias do Sul, 2018</em>. SBC, 2018,  
pp.416-423.