Translating alloy apecifications to UML class diagrams annotated with OCL - Garis, Ana (2011)
Proceedings of the 9th International Conference on Software Engineering and Formal Methods