@inproceedings{inproceedings, title = {{Using Alloy to model-check visual design notations}}, url = {{https://eprints.whiterose.ac.uk/98344/ }}, year = {{2005}}, month = {{12}}, author = {{Simons AJH and Fernandez CAFY}}, journal = {{Sixth Mexican International Conference on Computer Science, Proceedings}}, pages = {{121-128}}, note = {{Accessed on 2025/04/08}}}