TITLE     : Demonstration of a model checker for the analysis of product variability.
AUTHOR(S) : Ter Beek M H, Gnesi S, Mazzanti F
TYPE      : Conference article
YEAR      : 2012
CODE      : 218334

*** DO NOT EDIT THIS FILE ***