A component-based approach to hybrid systems safety verification

@inproceedings{DBLP:conf/ifm/MullerMRSP16,
	pdf = {pub/trafficcomponents.pdf},
	slides = {pub/trafficcomponents-slides.pdf},
	TR = {DBLP:conf/ifm/MullerMRSP16:TR},
	author = {['Andreas Müller', 'Stefan Mitsch', 'Werner Retschitzegger', 'Wieland Schwinger', 'André Platzer']},
	title = {A Component-based Approach to
               Hybrid Systems Safety Verification},
	booktitle = {IFM},
	longbooktitle = {Integrated Formal Methods - 12th
               International Conference, IFM 2016,
               Reykjavik, Iceland, June 1-4, 2016, Proceedings},
	year = {2016},
	pages = {441-456},
	doi = {10.1007/978-3-319-33693-0_28},
	editor = {['Erika Abraham', 'Marieke Huisman']},
	series = {LNCS},
	volume = {9681},
	publisher = {Springer}
}