1. Alloy Analyzer website,
http://alloy.mit.edu/
(accessed July 2011)
2. Lecture Notes in Computer Science;K. Anastasakis,2007
3. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Software and Systems Modeling 9(1), 69–86 (2010)
4. Broy, M., Cengarle, M.V., Grönniger, H., Rumpe, B.: Definition of the System Model. In: Lano, K. (ed.) UML 2 Semantics and Applications. Wiley, Chichester (2009)
5. Lecture Notes in Computer Science;A.D. Brucker,2008