Leveraging the power of formal methods in the realm of enterprise modeling - On the example of extending the (meta) model verification possibilities of ADOxx with Alloy - de Kinderen, Sybren; Ma, Qin; Kaczmarek-Heß, Monika (Comput. Ind., 2023)