Examples

The following examples were developed using the UML2Alloy tool.