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

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