An abstraction refinement approach combining precise and approximated techniques