Suaza Jiménez, J. H. and Lora Patiño, G. A. (2019) “Process and evolution of formal methods in requirements engineering”, Revista Ingenierías Universidad de Medellín, 19(37), pp. 119–136. doi: 10.22395/rium.v19n37a6.