shshe/feature-model-synthesis archive