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