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