https://5dok.net/document/yr302jlo-model-checking-of-component-connectors-izadi-m.html