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