Pashchenko, D. V., Martyshkin, A. I., Trokoz, D. A., Pashchenko, T. Y., Babich, M. Y. and Butaev, M. M. (2021) “Behaviour examples for synthesizing automaton models by temporal formulas”, Nexo Scientific Journal, 34(01), pp. 61–73. doi: 10.5377/nexo.v34i01.11285.