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 (dic. 2012), 94–123.