Demasi, R. A.; Ponzio, P. D.; Castro, P. F.; Baum, G. A. Verifying BON Models With Alloy. JCS&T 2005, 5, p. 292-298.