@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/22}}}