Barkalov А. А., I. Y. Zeleniova, and Gritsenko А. А. “PARALLEL AND DISTRIBUTED SYNTHESIS OF CONTROL AUTOMATA”. Radio Electronics, Computer Science, Control, no. 1 (May 15, 2010). Accessed July 23, 2024. http://ric.zntu.edu.ua/article/view/14720.