https://9dok.net/document/zlgxropr-analyzing-interacting-bpel-processes.html