A component-based approach to hybrid systems safety verification

@TECHREPORT{DBLP:conf/ifm/MullerMRSP16:TR,
	ref = {DBLP:conf/ifm/MullerMRSP16},

  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},
  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}
}```