Empirical Evaluation of Formal Method for Requirements Specification in Agile Approaches. - Peterson Luiz da R. Rodrigues; Miguel Ecar; Stefane V. Menezes; João Pablo S. da Silva; Gilleanes Thorwald Araujo Guedes; Elder M. Rodrigues (SBSI, 2018)