Demasi, R. A., Ponzio, P. D., Castro, P. F., & Baum, G. A. (2005). Verifying BON models with alloy. Journal of Computer Science and Technology, 5(04), p. 292–298. Retrieved from https://journal.info.unlp.edu.ar/JCST/article/view/850