D. V. Pashchenko, A. I. Martyshkin, D. A. Trokoz, T. Y. Pashchenko, M. Y. Babich, and M. M. Butaev, “Parallel decomposition of control algorithms for computational processes based on the use of nondeterministic automaton logic”, Nexo Scientific Journal, vol. 34, no. 01, pp. 01–12, Apr. 2021.