J. H. Suaza Jiménez y G. A. Lora Patiño, «Proceso y evolución de los métodos formales en la ingeniería de requisitos», rev.ing.univ.Medellin, vol. 19, n.º 37, pp. 119–136, nov. 2019, doi: 10.22395/rium.v19n37a6.