https://123dok.net/document/yd222wjq-verifying-modal-specifications-workflow-constraint-solving-reduction-methods.html