Suaza Jiménez, J. H., and G. A. Lora Patiño. “Process and Evolution of Formal Methods in Requirements Engineering”. Revista Ingenierías Universidad De Medellín, Vol. 19, no. 37, Nov. 2019, pp. 119-36, doi:10.22395/rium.v19n37a6.