Exploiting Model Structure in CEGAR Verification Method. - Farès Chucri (2012)