Quantitative Analyses of Software Product Lines