Behaviour examples for synthesizing automaton models by temporal formulas. Nexo Revista Científica [Internet]. 2021 Apr. 13 [cited 2026 Jun. 24];34(01):61-73. Available from: https://www.camjol.info/index.php/NEXO/article/view/11285