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