Pito, L. C. (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://revistasunabeduco.biteca.online/index.php/rcc/article/view/2127 (Accedido: 23 agosto 2025).