Demasi RA, Ponzio PD, Castro PF, Baum GA. Verifying BON models with alloy. JCS&T [Internet]. 2005 Dec. 1 [cited 2023 Jun. 7];5(04):p. 292-298. Available from: https://journal.info.unlp.edu.ar/JCST/article/view/850