Pashchenko, D. V., 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, abril de 2021, pp. 61-73, doi:10.5377/nexo.v34i01.11285.