TITLE     : A framework for quantitative modeling and analysis of highly (re)configurable systems
AUTHOR(S) : Ter Beek M, Legay A, Lluch Lafuente A, Vandin A
TYPE      : Journal article
YEAR      : 2018
CODE      : 391581

*** DO NOT EDIT THIS FILE ***