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 (Dec. 2005), p. 292–298.