@inbook{KNP09b,
author={M. Kwiatkowska and G. Norman and D. Parker}, 
title={Algorithmic Bioprocesses},
chapter={Quantitative Verification Techniques for Biological Processes},
pages={391-409},
publisher={Springer},
year={2009},

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