Szabó, Richárd, Cziborová, Dóra (2025) Automata-based representation of coordination for distributed reactive systems In: Proceedings of the International Conference on Formal Methods and Foundations of Artificial Intelligence. Eger, Eszterházy Károly Catholic University. pp. 201-213.