Escobar-Sánchez ME, Fuertes-Díaz WM. A formal model for the functional test of software to achieve maturity integrated level 2. Rev. Fac. Ing. [Internet]. 2015 May 5 [cited 2024 Nov. 24];24(39):31-42. Available from: https://revistas.uptc.edu.co/index.php/ingenieria/article/view/3549