@InProceedings{KNP+06,
author={M. Kwiatkowska and G. Norman and D. Parker and O. Tymchyshyn and J. Heath and E. Gaffney},
title={Simulation and verification for computational modelling of signalling pathways},
booktitle={Proc. Winter Simulation Conference},
year={2006},

editor={L. F. Perrone and F. P. Wieland and J. Liu and B. G. Lawson and D. M. Nicol and R. M. Fujimoto},
pages={1666--1675},
organization={},
publisher={Omnipress},
series={},
volume={},
address={},
month={},
note={},
key={}
}