Escobar-Sánchez, M., and W. 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.