Using Word-Level Information in Formal Hardware Verification. - Drechsler, R. (Automation & Remote Control, 2004)