“Behaviour examples for synthesizing automaton models by temporal formulas”, Nexo Revista Científica, vol. 34, no. 01, pp. 61–73, Apr. 2021, doi: 10.5377/nexo.v34i01.11285.