John Heath Marta Z. Kwiatkowska Gethin Norman David Parker Oksana Tymchyshyn Probabilistic Model Checking of Complex Biological Pathways. 32-47 2006 conf/cmsb/2006 CMSB http://dx.doi.org/10.1007/11885191_3 db/conf/cmsb/cmsb2006.html#HeathKNPT06