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