Combining Abduction and Model Checking Techniques