Refining abstractions of hybrid systems using counterexample fragments