Čapkovič, F. 2012. Automatic Control Synthesis for Agents and Their Cooperation in MAS. COMPUTING AND INFORMATICS. 29, 6+ (Jan. 2012), 1045–1071.