@InProceedings{KNP17,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Probabilistic Model Checking: Advances and Applications},
booktitle={Formal System Verification},
year={2017},

editors={R. Drechsler},
pages={73--121},
organization={},
publisher={Springer},
series={},
volume={},
address={},
month={},
note={},
key={}
}