2021. Behaviour examples for synthesizing automaton models by temporal formulas. Nexo Revista Científica. 34, 01 (Apr. 2021), 61–73. DOI:https://doi.org/10.5377/nexo.v34i01.11285.