Bayesian statistical model checking with application to Simulink/Stateflow verification.

@techreport{DBLP:conf/hybrid/ZulianiPC10:TR,
	ref = {DBLP:conf/hybrid/ZulianiPC10},
	author = {['Paolo Zuliani', 'André Platzer', 'Edmund M. Clarke']},
	title = {Bayesian Statistical Model Checking with
               Application to  Simulink/Stateflow
               Verification.},
	number = {CMU-CS-10-100},
	year = {2010},
	month = {January},
	institution = {School of Computer Science,
               Carnegie Mellon University},
	address = {Pittsburgh, PA},
	pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2010/CMU-CS-10-100.pdf}
}