R. A. Demasi, P. D. Ponzio, P. F. Castro, and G. A. Baum, “Verifying BON models with alloy”, JCS&T, vol. 5, no. 04, pp. p. 292–298, Dec. 2005.