Bayesian statistical model checking with application to Simulink/Stateflow verification
Monitoring temporal properties of continuous signals