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