Playing with Abstraction and Refinement for Managing Features Interactions