@InProceedings{KNP10c,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Advances and Challenges of Probabilistic Model Checking},
booktitle={Proc. 48th Annual Allerton Conference on Communication, Control and Computing},
year={2010},

editor={},
pages={1691--1698},
organization={},
publisher={IEEE Press},
series={},
volume={},
address={},
month={},
note={},
key={}
}