A New Refinement Strategy for CEGAR-Based Industrial Model Checking. - Martin Leucker; Grigory Markin; Martin R. Neuhäußer (Haifa Verification Conference, 2015)