Escobar-Sánchez, M. E., & Fuertes-Díaz, W. M. (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