A rigorous semantics for BPMN 2.0 process diagrams Felix Kossak ... (Springer, 2014)