Mais informação nas ferramentas CSP.
Info na ferramenta Alloy.

Signed-off-by: Cristiano Fernandes <cristiano@azapp.net>