Rodrigues, Peterson, Miguel Ecar, Stefane V. Menezes,  João Pablo S. da Silva, Gilleanes T. A. Guedes, and Elder M. Rodrigues.
" 
        Empirical Evaluation of Formal Method for Requirements Specification in Agile Approaches  
      ." <em>Proceedings of the 14th Brazilian Symposium on Information Systems,
Caxias do Sul, 2018</em>. SBC, 2018,  
pp.416-423.