Heat et al: "Probabilistic model checking of complex biological pathways"

Click cmsb06.pdf link to view the file.