Suaza Jiménez, Jorge Hernán, and Gloria Amparo Lora Patiño. 2019. “Process and Evolution of Formal Methods in Requirements Engineering”. Revista Ingenierías Universidad De Medellín 19 (37):119-36. https://doi.org/10.22395/rium.v19n37a6.