@misc{misc, title = {{Using Alloy to model-check visual design notations}}, url = {{}}, year = {{2008}}, month = {{2}}, author = {{Simons AJH and Fernandez-y-Fernandez CA}}, doi = {{10.48550/arxiv.0802.2258}}, note = {{Accessed on 2024/12/25}}}