P. Rodrigues, M. Ecar, S. Menezes,  . Silva, G. Guedes, and E. Rodrigues.
"
        Avaliação Empírica do Método Formal para Especificação de Requisitos em Abordagens Ágeis
      ", in <em>Anais do XIV Simpósio Brasileiro de Sistemas de Informação</em>, Caxias do Sul, 2018, pp. 416-423.