BeAFix: An Automated Repair Tool for Faulty Alloy Models | IEEE Conference Publication | IEEE Xplore