TITLE     : The Variability Model Checker VMC.
AUTHOR(S) : Ter Beek M H
TYPE      : Conference article
YEAR      : 2012
CODE      : 215297

*** DO NOT EDIT THIS FILE ***