J. H. Suaza Jiménez and G. A. Lora Patiño, “Process and evolution of formal methods in requirements engineering”, rev.ing.univ.Medellin, vol. 19, no. 37, pp. 119–136, Nov. 2019.