Pashchenko, D.V., Martyshkin, A.I., Trokoz, D.A., Pashchenko, T.Y., Babich, M.Y. y Butaev, M.M. 2021. Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales. Nexo Revista Científica. 34, 01 (abr. 2021), 61–73. DOI:https://doi.org/10.5377/nexo.v34i01.11285.