Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine | Publicación