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