Klaus Winkelmann Formal Verification. 10- 2003 conf/vlsi/2003soc VLSI-SOC db/conf/vlsi/vlsisoc2003.html#Winkelmann03