El modelo no presenta problemas por ahora... entra a la fase de TTCN3