TITLE     : Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
AUTHOR(S) : Ter Beek M H, Fantechi A, Gnesi S, Mazzanti F
TYPE      : Journal article
YEAR      : 2016
CODE      : 344828

*** DO NOT EDIT THIS FILE ***