Demasi, R. A., Ponzio, P. D., Castro, P. F. and Baum, G. A. (2005) “Verifying BON models with alloy”, Journal of Computer Science and Technology, 5(04), pp. p. 292–298. Available at: https://journal.info.unlp.edu.ar/JCST/article/view/850 (Accessed: 7 June 2023).