Torres, D.; Cortéz, J.; González, R. Semi?formal Specifications and Formal Verification Improving the Digital Design: Some Statistics. JART 2009, 7.