Serna M., E. y Morales V., D. 2015. Estado del arte de la investigación en verificación formal. Ingeniería Investigación y Tecnología. 15, 4 (ene. 2015).