Suaza Jiménez JH, Lora Patiño GA. Process and evolution of formal methods in requirements engineering. rev.ing.univ.Medellin. 2019;19(37):119-136. doi:10.22395/rium.v19n37a6