Cory Jung Mohammad Hadi Izadi Michelle L. La Haye 140-148 2005 conf/dft/2005 DFT http://doi.ieeecomputersociety.org/10.1109/DFTVS.2005.48 db/conf/dft/dft2005.html#JungIH05