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