1

Formal Software Design with Alloy 6