Dong Wang Pei-Hsin Ho Jiang Long James H. Kukula Yunshan Zhu Hi-Keung Tony Ma Robert F. Damiano Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. 35-40 2001 conf/dac/2001 DAC http://jamaica.ee.pitt.edu/Archives/ProceedingArchives/Dac/Dac2001/papers/2001/dac01/pdffiles/04_1.pdf db/conf/dac/dac2001.html#WangHLKZMD01