Barkalov А. А.; Zeleniova, I. Y.; Gritsenko А. А. PARALLEL AND DISTRIBUTED SYNTHESIS OF CONTROL AUTOMATA. RIC 2010.