Suaza Jiménez, Jorge Hernán, and Gloria Amparo 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.