A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams | IEEE Conference Publication | IEEE Xplore