Magdy S. Abadir Li-C. Wang Verification and Validation of Complex Digital Systems: An Industrial Perspective. 11-12 2001 conf/isqed/2001 ISQED http://csdl.computer.org/comp/proceedings/isqed/2001/1025/00/10250011.pdf db/conf/isqed/isqed2001.html#AbadirW01