https://5dok.net/document/qmjvv2m7-process-mining-conformance-and-extension.html