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