Pashchenko, Dmitry V., Alexey I. Martyshkin, Dmitry A. Trokoz, Tatyana Yu. Pashchenko, Mikhail Yu. Babich, and Mikhail M. Butaev. 2021. “Behaviour Examples for Synthesizing Automaton Models by Temporal Formulas”. Nexo Revista Científica 34 (01):61-73. https://doi.org/10.5377/nexo.v34i01.11285.