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 Scientific Journal 34 (01):61-73. https://doi.org/10.5377/nexo.v34i01.11285.