From Featured Transition Systems to Modal Transition Systems with Variability Constraints