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