Automated analysis of feature models | Synapse