Görschwin Fey Rolf Drechsler Finding Good Counter-Examples to Aid Design Verification. 51- 2003 conf/memocode/2003 MEMOCODE http://csdl.computer.org/comp/proceedings/memocode/2003/1923/00/19230051.pdf db/conf/memocode/memocode2003.html#FeyD03