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.