Pashchenko, D. V., 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, Apr. 2021, pp. 61-73, doi:10.5377/nexo.v34i01.11285.