Cunha A, Garis A, Riesco D.? 2015.??Translating between Alloy Specifications and UML Class Diagrams Annotated with OCL. Software and Systems Modeling. 14(1):5-25.