E. Serna M. y D. Morales V., «Estado del arte de la investigación en verificación formal», Revista-IIT, vol. 15, n.º 4, ene. 2015.