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üller', 'Stefan Mitsch', 'Werner Retschitzegger', 'Wieland Schwinger', 'André 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', 'Julia Rubin']},
	series = {LNCS},
	volume = {10202},
	publisher = {Springer}
}