Uppaal SMC tutorial
A bayesian approach to model checking biological systems