A. Boronat and J. Meseguer, “Automated Model Synchronization: A Case Study on UML with Maude”, ECEASST, vol. 41, Sep. 2011.