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