Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems