Escobar-Sánchez, Milton Eduardo, and Walter Marcelo Fuertes-Díaz. “A Formal Model for the Functional Test of Software to Achieve Maturity Integrated Level 2”. Revista Facultad De Ingeniería, vol. 24, no. 39, May 2015, pp. 31-42, doi:10.19053/01211129.3549.