Dubslaff, ClemensAßmann, UweDemuth, BirgitSpitta, ThorstenPüschel, GeorgKaiser, Ronny2017-06-302017-06-302015978-3-88579-633-6The quantitative analysis of software is important, e.g., for energy-aware systems having constraints on energy consumption while guaranteeing a certain degree of utility. Analyzing software product lines is challenging due to the possibly exponential number of feature combinations. This paper sketches new approaches using probabilistic model checking for a quantitative analysis of software product lines and the integration of such into the software development process.enText/Conference Paper1617-5468