@conference {84,
	title = {Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code},
	booktitle = {Systems Software Verification, 7th Conference, SSV12},
	series = {EPTCS},
	volume = {102},
	year = {2012},
	pages = {155-166},
	publisher = {EPTCS},
	organization = {EPTCS},
	doi = {10.4204/EPTCS.102.14},
	author = {Christel Baier and Marcus Daum and Benjamin Engel and Hermann H{\"a}rtig and Joachim Klein and Sascha Kl{\"u}ppelholz and Steffen M{\"a}rcker and Hendrik Tews and Marcus V{\"o}lp}
}