Pashchenko, Dmitry V., et al. “Behaviour Examples for Synthesizing Automaton Models by Temporal Formulas”. Nexo Revista Científica, vol. 34, no. 01, Apr. 2021, pp. 61-73, doi:10.5377/nexo.v34i01.11285.