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