Text this: Pruebas dirigidas por modelos para sistemas distribuidos: Estudio de caso curso de sistemas distribuidos Universidad del Cauca