@InProceedings{KP12,
author={M. Kwiatkowska and D. Parker},
title={Advances in Probabilistic Model Checking},
booktitle={Software Safety and Security - Tools for Analysis and Verification},
year={2012},

editor={T. Nipkow and O. Grumberg and B. Hauptmann},
pages={126--151},
organization={},
publisher={IOS Press},
series={NATO Science for Peace and Security Series - D: Information and Communication Security},
volume={33},
address={},
month={},
note={},
key={}
}