A rigorous semantics for BPMN 2.0 process diagrams [electronic resource] - Kossak, Felix. (Springer International Publishing : Imprint: Springer, 2014)