A component-based approach to hybrid systems safety verification

@techreport{DBLP:conf/ifm/MullerMRSP16:TR,
	ref = {DBLP:conf/ifm/MullerMRSP16},
	author = {['Andreas Müller', 'Stefan Mitsch', 'Werner Retschitzegger', 'Wieland Schwinger', 'André Platzer']},
	title = {A Component-based Approach to
               Hybrid Systems Safety Verification},
	number = {CMU-CS-16-100},
	year = {2016},
	month = {June},
	institution = {School of Computer Science,
               Carnegie Mellon University},
	address = {Pittsburgh, PA},
	pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2016/CMU-CS-16-100.pdf}
}