TITLE : Statistical analysis of probabilistic models of software product lines with quantitative constraints. Extended Version. AUTHOR(S) : Ter Beek Mh, Legay A, Lluch Lafuente A, Vandin A TYPE : Other YEAR : 2015 CODE : 332015 *** DO NOT EDIT THIS FILE ***