Suaza Jiménez, J. H.; Lora Patiño, G. A. Process and Evolution of Formal Methods in Requirements Engineering. rev.ing.univ.Medellin 2019, 19, 119-136.