https://123dok.net/document/z1dr77l3-analyzing-improving-multi-robot-missions-using-process-mining.html