https://123dok.net/document/zkw1omw1-plausibility-checking-formal-business-process-specifications-linear-temporal.html