Abstract Model Repair