https://9dok.net/document/yngm9d10-process-model-verification-with-semquu.html