Clemens Dubslaff, Sascha Klüppelholz, Christel Baier. Probabilistic model checking for energy analysis in software product lines. In Walter Binder, Erik Ernst, Achille Peternier, Robert Hirschfeld, editors, 13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014. pages 169-180, ACM, 2014. [doi]
Abstract is missing.