A Discipline for Handling Feature Interaction