(PDF) Translating between Alloy specifications and UML class diagrams ...

(PDF) Translating between Alloy specifications and UML class diagrams ... image.
source