Pito, L. C., 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». Revista Colombiana De Computación, vol. 13, n.º 2, diciembre de 2012, pp. 94-123, https://revistas.unab.edu.co/index.php/rcc/article/view/2127.