@article {391,
	title = {Locks: Picking key methods for a scalable quantitative analysis},
	journal = {Journal of Computer and System Sciences},
	volume = {81},
	year = {2015},
	pages = {258{\textendash}287},
	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}
}