Pito, L.C. et al. 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 (dic. 2012), 94–123.