Abstraction refinement for the analysis of software product lines