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      : 2020
CODE      : 391581

*** DO NOT EDIT THIS FILE ***