@inproceedings{KNP07a,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Stochastic Model Checking},
booktitle={Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07)},
year={2007},

editor={M. Bernardo and J. Hillston},
pages={220-270},
organization={},
publisher={Springer},
series={LNCS (Tutorial Volume)},
volume={4486},
month={},
note={},
key={}
}