@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={} }