A Rigorous Semantics for BPMN 2.0 Process Diagrams - Kossak, Felix; Illibauer, Christa; Geist, Verena; Kubovy, Jan; Natschläger, Christine; Ziebermayr, Thomas; Kopetzky, Theodorich; Freudenthaler, Bernhard; Schewe, Klaus-Dieter (Springer International Publishing : Imprint: Springer, 2014)