@InProceedings{KNP17a,
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={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}