D. V. Pashchenko, A. I. Martyshkin, D. A. Trokoz, T. Y. Pashchenko, M. Y. Babich, y M. M. Butaev, «Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales», Nexo Revista Científica, vol. 34, n.º 01, pp. 61–73, abr. 2021.