A repair-oriented approach to product consistency in product lines using negative variability