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