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