@Book{KNP04a, author={J. Rutten and M. Kwiatkowska and G. Norman and D. Parker}, title={Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, {\rm P. Panangaden and F. van Breugel (eds.)}}, publisher={American Mathematical Society}, year={2004}, volume={23}, series={CRM Monograph Series}, address={}, edition={}, month={}, note={}, key={} }