Pruebas Dirigidas por Modelos para Sistemas Distribuidos: Estudio de caso Curso de Sistemas Distribuidos Universidad del Cauca. - Luis C. Pito; Ruben J. Gaviria; Pablo A. Mage; Julio Ariel Hurtado Alegria (Rev. Colomb. de Computación, 2012)