M. E. Escobar-Sánchez and W. M. Fuertes-Díaz, “A formal model for the functional test of software to achieve maturity integrated level 2”, Rev. Fac. Ing., vol. 24, no. 39, pp. 31–42, May 2015.