@article {392,
	title = {Probabilistic Model Checking for Feature-oriented Systems},
	journal = {Transactions on Aspect-Oriented Software Development},
	volume = {12},
	year = {2015},
	pages = {180{\textendash}220},
	author = {Clemens Dubslaff and Christel Baier and Sascha Kl{\"u}ppelholz}
}