https://123dok.net/document/y4wm9x15-checking-business-process-evolution.html