Torres, D., J. Cortéz, and R. González. “Semi?formal Specifications and Formal Verification Improving the Digital Design: Some Statistics”. Journal of Applied Research and Technology, vol. 7, no. 01, Apr. 2009, doi:10.22201/icat.16656423.2009.7.01.498.