Pashchenko, Dmitry V., et al. «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.