Statistical model checking for complex stochastic models in systems biology

@TECHREPORT{DBLP:conf/cmsb/JhaCLLPZ09:TR,
	ref = {DBLP:conf/cmsb/JhaCLLPZ09},

  author    = {Sumit Kumar Jha and
               Edmund Clarke and
               Christopher Langmead and
               Axel Legay and
               Andr{\'e} Platzer and
               Paolo Zuliani},
  title     = {Statistical Model Checking for Complex
               Stochastic Models in Systems Biology},
  number    = {CMU-CS-09-110},
  year      = {2009},
  month     = {},
  institution = {School of Computer Science,
               Carnegie Mellon University},
  address   = {Pittsburgh, PA},
  pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2009/CMU-CS-09-110.pdf}
}```