Bayesian statistical model checking with application to Simulink/Stateflow verification
On statistical model checking of stochastic systems