Cunha A, Garis A, Riesco D.? 2011.??Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. Proceedings of the 9th International Conference on Software Engineering and Formal Methods - SEFM. 7041:221-236.