A Method for Verifying the Consistency of Business Rules Using Alloy. - Denilson Guimaraes; Eber A. Schmitz; Antonio Juarez Alencar; Priscila Lima 001; Alexandre L. Correa (SEKE, 2014)