Pashchenko DV, Martyshkin AI, Trokoz DA, Pashchenko TY, Babich MY, Butaev MM. Behaviour examples for synthesizing automaton models by temporal formulas. Nexo Revista Científica [Internet]. 2021 Apr. 13 [cited 2025 Dec. 6];34(01):61-73. Available from: https://camjol.info/index.php/NEXO/article/view/11285