Generating operation specifications from UML class diagrams: A model transformation approach | Publicación