Information Systems Modeling: Language, Verification, and Tool Support. - Artem Polyvyanyy; Jan Martijn E. M. van der Werf; Sietse Overbeek; Rick Brouwers (CAiSE, 2019)