Managing Feature Interaction by Documenting and Enforcing Dependencies in Software Product Lines