Alloy
Voici le site d'Alloy en référence, où on retrouve tout: le logiciel,
cas d'études, articles, tutoriels, présentations PPT, etc
http://alloytools.org/
Le document de référence sur le langage est
http://alloytools.org/download/alloy-language-reference.pdf