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 4, 2024. https://jart.icat.unam.mx/index.php/jart/article/view/498.