Boronat, A.; Meseguer, J. Automated Model Synchronization: A Case Study on UML With Maude. ECEASST 2011, 41.