Escobar-Sánchez, M. E. and 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), pp. 31–42. doi: 10.19053/01211129.3549.