Using alloy to model-check visual design notations (2005)

by A Simons, C Fernandez
Venue:In Sixth Mexican International Conference on Computer Science