@misc{indiciae9771f188478e,
  title = {Using Alloy to model-check visual design notations},
  author = {Anthony J. H. Simons and Carlos Alberto Fernandez-y-Fernandez},
  year = {2008},
  doi = {10.1109/enc.2005.52},
  url = {https://arxiv.org/abs/0802.2258},
  note = {Source identifier: 0802.2258}
}