TY  - RPRT
TI  - Using Alloy to model-check visual design notations
AU  - Anthony J. H. Simons
AU  - Carlos Alberto Fernandez-y-Fernandez
PY  - 2008
DO  - 10.1109/enc.2005.52
UR  - https://arxiv.org/abs/0802.2258
ID  - 0802.2258
ER  -