Pito, L. C., Gaviria, R. J., Mage, P. A., & Hurtado, J. A. (2012). Pruebas Dirigidas por Modelos para Sistemas Distribuidos: Estudio de caso Curso de Sistemas Distribuidos Universidad del Cauca. Revista Colombiana De Computación, 13(2), 94–123. Recuperado a partir de https://revistas.unab.edu.co/index.php/rcc/article/view/2127