@inbook{KNPS08,
author={M. Kwiatkowska and G. Norman and D. Parker and J. Sproston}, 
title={Modeling and Verification of Real-Time Systems: Formalisms and Software Tools},
chapter={Verification of Real-Time Probabilistic Systems},
pages={249-288},
publisher={John Wiley \& Sons},
year={2008},

volume={},
series={},
address={},
edition={},
month={},
note={},
key={}
}