@conference {365,
	title = {Computing Response Time Distributions Using Iterative Probabilistic Model Checking},
	booktitle = {Computer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings},
	year = {2015},
	doi = {10.1007/978-3-319-23267-6_14},
	url = {http://dx.doi.org/10.1007/978-3-319-23267-6_14},
	author = {Freek van den Berg and Jozef Hooman and Arnd Hartmanns and Boudewijn R. Haverkort and Anne Remke}
}