@InProceedings{KP12,
author={M. Kwiatkowska and D. Parker},
title={Advances in Probabilistic Model Checking},
booktitle={Proc. 2011 Marktoberdorf Summer School: Tools for Analysis and Verification of Software Safety and Security},
year={2012},

editor={},
pages={},
organization={},
publisher={IOS Press},
series={},
volume={},
address={},
month={},
note={To appear},
key={}
}