Constraint handling in Feature Models