Serna M., E., y D. Morales V. «Estado Del Arte De La investigación En verificación Formal». Ingeniería Investigación Y Tecnología, vol. 15, n.º 4, enero de 2015, https://journals.unam.mx/index.php/ingenieria/article/view/45919.