Čapkovič, F. Automatic Control Synthesis for Agents and Their Cooperation in MAS. Comput. Inform. 2012, 29, 1045-1071.