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 (Apr. 2021), 61–73. DOI:https://doi.org/10.5377/nexo.v34i01.11285.