Pashchenko, D. V. (2021) «Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales», Nexo Revista Científica, 34(01), pp. 61–73. doi: 10.5377/nexo.v34i01.11285.