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