Business Process Model and Notation - Aalst, Wil van der; Mylopoulos, John; Rosemann, Michael; Weidlich, Matthias (Springer Berlin Heidelberg, 2012)