Pito, L. C.; Gaviria, R. J.; Mage, P. A.; Hurtado, J. A. Pruebas Dirigidas Por Modelos Para Sistemas Distribuidos: Estudio De Caso Curso De Sistemas Distribuidos Universidad Del Cauca. Rev. colomb. comput. 2012, 13, 94-123.