DEMASI, R. A.; PONZIO, P. D.; CASTRO, P. F.; BAUM, G. A. Verifying BON models with alloy. Journal of Computer Science and Technology, [S. l.], v. 5, n. 04, p. p. 292–298, 2005. Disponível em: https://journal.info.unlp.edu.ar/JCST/article/view/850. Acesso em: 7 jun. 2023.