Supporting distributed product configuration by integrating heterogeneous variability modeling approaches