F. Čapkovič, “Automatic Control Synthesis for Agents and Their Cooperation in MAS”, Comput. Inform., vol. 29, no. 6+, pp. 1045–1071, Jan. 2012.