https://123dok.net/document/zpn1pr47-process-algebra-validate-behavioral-aspects-object-oriented-models.html