https://123dok.net/document/y4w26p7r-modeling-verification-business-processes-choreographies-alp.html