Sumit Kumar Jha Edmund M. Clarke Christopher James Langmead Axel Legay André Platzer Paolo Zuliani A Bayesian Approach to Model Checking Biological Systems. 218-234 2009 CMSB http://dx.doi.org/10.1007/978-3-642-03845-7_15 conf/cmsb/2009 db/conf/cmsb/cmsb2009.html#JhaCLLPZ09