Marta Z. Kwiatkowska Gethin Norman David Parker Oksana Tymchyshyn John Heath Eamonn Gaffney Simulation and verification for computational modelling of signalling pathways. 1666-1674 2006 conf/wsc/2006 Winter Simulation Conference http://doi.acm.org/10.1145/1218112.1218415 db/conf/wsc/wsc2006.html#KwiatkowskaNPTHG06