L. C. Pito, R. J. Gaviria, P. A. Mage, y J. A. Hurtado, «Pruebas Dirigidas por Modelos para Sistemas Distribuidos: Estudio de caso Curso de Sistemas Distribuidos Universidad del Cauca», Rev. colomb. comput., vol. 13, n.º 2, pp. 94–123, dic. 2012.