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