D. V. Pashchenko, A. I. Martyshkin, D. A. Trokoz, T. Y. Pashchenko, M. Y. Babich, and M. M. Butaev, “Behaviour examples for synthesizing automaton models by temporal formulas”, Nexo Scientific Journal, vol. 34, no. 01, pp. 61–73, Apr. 2021.