Barkalov А. А., I. Y. Zeleniova, and Gritsenko А. А., “PARALLEL AND DISTRIBUTED SYNTHESIS OF CONTROL AUTOMATA”, RIC, no. 1, May 2010.