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