Sumit Kumar Jha, Christopher James Langmead. Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement. Theoretical Computer Science, 412(21):2162-2187, 2011. [doi]
Abstract is missing.