@inbook{KNP08c,
author={M. Kwiatkowska and G. Norman and D. Parker}, 
title={Symbolic Systems Biology},
chapter={Probabilistic Model Checking for Systems Biology},
pages={},
publisher={Jones and Bartlett},
year={2008},

volume={},
series={},
address={},
edition={},
month={},
note={To appear.},
key={}
}