https://5dok.net/document/yj7jx48m-team-automata-formal-approach-modeling-collaboration-components.html