PASHCHENKO, Dmitry V.; MARTYSHKIN, Alexey I.; TROKOZ, Dmitry A.; PASHCHENKO, Tatyana Yu.; BABICH, Mikhail Yu.; BUTAEV, Mikhail M. Behaviour examples for synthesizing automaton models by temporal formulas. Nexo Revista Científica, [S. l.], v. 34, n. 01, p. 61–73, 2021. DOI: 10.5377/nexo.v34i01.11285. Disponível em: https://camjol.info/index.php/NEXO/article/view/11285. Acesso em: 15 apr. 2025.