Parameter discovery for stochastic computational models in systems biology using Bayesian model checking | IEEE Conference Publication | IEEE Xplore