PITO, Luis C.; GAVIRIA, Ruben J.; MAGE, Pablo A.; HURTADO, Julio A. Pruebas Dirigidas por Modelos para Sistemas Distribuidos: Estudio de caso Curso de Sistemas Distribuidos Universidad del Cauca. Revista Colombiana de Computación, [S. l.], v. 13, n. 2, p. 94–123, 2012. Disponível em: https://revistasunabeduco.biteca.online/index.php/rcc/article/view/2127. Acesso em: 23 ago. 2025.