https://123dok.org/document/lzgrvm2q-formal-execution-bpmn-specifications-business-process-traceability-support.html