Semantic Control in Feature-Based Modeling