Torres, D., J. Cortéz, and R.E. González. “Semi?formal Specifications and Formal Verification Improving the Digital Design: Some Statistics”. Journal of Applied Research and Technology 7, no. 01 (April 1, 2009). Accessed May 9, 2025. https://jart.icat.unam.mx/index.php/jart/article/view/498.