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