A Rigorous Semantics for BPMN 2.0 Process Diagrams - Kossak, Felix (Springer, 2014)