Model based test generation for processor verificationYossi LichtensteinYossi Malkaet al.1994IAAI 1994