Dynamic Validation of Maude Prototypes of UML Models | Publicación