Barkalov А. А., Zeleniova, I. Y. and Gritsenko А. А. (2010) “PARALLEL AND DISTRIBUTED SYNTHESIS OF CONTROL AUTOMATA”, Radio Electronics, Computer Science, Control, (1). doi: 10.15588/1607-3274-2010-1-23.