@InBook{CGHV09,
author={M. Calder and S. Gilmore and J. Hillston and V. Vyshemirsky},
title={Formal Methods: State of the Art and New Directions},
chapter={Formal methods for biochemical signalling pathways},
publisher={Springer},
year={2009},

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