The Alloy Language and Tools
tim.kraeuter