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{\"u}ller and
               Stefan Mitsch and
               Werner Retschitzegger and
               Wieland Schwinger and
               Andr{\'e} 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 and
               Marieke Huisman},
  series    = {LNCS},
  volume    = {9681},
  publisher = {Springer},
}```