Constraint Formalization for Automated Assessment of Enterprise Models. - Stef Joosten; Ella E. Roubtsova; El Makki Haddouchi (ICEIS (2), 2022)