Pashchenko, D. V.; Martyshkin, A. I.; Trokoz, D. A.; Pashchenko, T. Y.; Babich, M. Y.; Butaev, M. M. Behaviour Examples for Synthesizing Automaton Models by Temporal Formulas. Nexo Scientific Journal 2021, 34, 61-73.