@conference {201,
	title = {Probabilistic Model Checking for Energy Analysis in Software Product Lines},
	booktitle = {Proc. of the 13th International Conference on Modularity (MODULARITY)},
	year = {2014},
	publisher = {ACM},
	organization = {ACM},
	author = {Clemens Dubslaff and Sascha Kl{\"u}ppelholz and Christel Baier}
}