1. National Institute of Standards and Technology: The economic impacts of inadequate infrastructure for software testing. Planning Report 02–3. National Institute of Standards and Technology (2002)
2. Fitzpatrick, T., Schutten, R.: Design for verification: Blueprint for productivity and product quality. Technical report, Synopsy Inc., 2003. http://www.synopsys.com/products/simulation/dfv_wp.html
3. Collett International Research Inc. IC/ASIC functional verification study. Technical report, Collett International Research Inc. (2002) http://www.collett.com/reports.htm
4. Geist, D., Tronci, E. (eds.): Correct Hardware Design and Verification Methods (CHARME), vol. 2860 of Lecture Notes in Computer Science, L’Aquila, Italy. 12th IFIP WG 10.5 Advanced Research Working Conference. Springer, Berlin (2003)
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge, MA (1999)