“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.