Verification by error modeling using testing techniques in hardware verification - Radecka, Katarzyna (Frontiers in electronic testing, 2003)