Pashchenko, Dmitry V., Alexey I. Martyshkin, Dmitry A. Trokoz, Tatyana Yu. Pashchenko, Mikhail Yu. Babich, and Mikhail M. Butaev. “Behaviour Examples for Synthesizing Automaton Models by Temporal Formulas”. Nexo Scientific Journal 34, no. 01 (April 13, 2021): 61–73. Accessed July 18, 2024. https://camjol.info/index.php/NEXO/article/view/11285.