https://9dok.net/document/q05v7l99-modeling-and-verification-of-judicial-workflows.html