Towards Extending the Validation Possibilities of ADOxx with Alloy - De Kinderen, Sybren; Ma, Qin; Kaczmarek-Heß, Monika (Proceedings of the 2020 Conference on the Practice of Enterprise Modeling, 2020)