Grachev, P., S. Muravyov, A. Filchenkov, and A. Shalyto. “Automata Generation Based on Recurrent Neural Networks and Automated Cauterization Selection”. Information and Control Systems, no. 1, Feb. 2020, pp. 34-43, DOI:10.31799/1684-8853-2020-1-34-43.