Pito, L. C., Gaviria, R. J., Mage, P. A. y 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), pp. 94–123. Disponible en: https://revistas.unab.edu.co/index.php/rcc/article/view/2127 (Accedido: 18 mayo 2024).