A UML/OCL framework for the analysis of graph transformation rules | Publicación