Escobar-Sánchez, Milton, and Walter Fuertes-Díaz. “A Formal Model for the Functional Test of Software to Achieve Maturity Integrated Level 2”. Revista Facultad de Ingeniería 24, no. 39 (May 5, 2015): 31-42. Accessed September 19, 2019. https://revistas.uptc.edu.co/revistas/index.php/ingenieria/article/view/3549.