Un lenguaje de dominio específico para mutación de modelos - P Gómez-Abajo (Universidad Autónoma de Madrid, 2020)