Change and delay contracts for hybrid system component verification

@INPROCEEDINGS{DBLP:conf/fase/MullerMRSP17,
	pdf = {pub/trafficchange.pdf},
	slides = {pub/trafficchange-slides.pdf},
	ref = {DBLP:journals/sttt/MullerMRSP18},
	refname = {STTT'18},
	study = {https://www.cs.cmu.edu/~smitsch/resource/fase17},

  author    = {Andreas M{\"u}ller and
               Stefan Mitsch and
               Werner Retschitzegger and
               Wieland Schwinger and
               Andr{\'e} Platzer},
  title     = {Change and Delay Contracts for
               Hybrid System Component Verification},
  booktitle = {FASE},
  year      = {2017},
  pages     = {134-151},
  doi       = {10.1007/978-3-662-54494-5_8},
  editor    = {Marieke Huisman and
               Julia Rubin},
  series    = {LNCS},
  volume    = {10202},
  publisher = {Springer},
}```