Title of paper: Demonstration of a model checker for the analysis of product variability

We demonstrate an experimental tool for the modeling and analysis of behavioral variability in product families.