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