Tactical contract composition for hybrid system component verification

@article{DBLP:journals/sttt/MullerMRSP18,
	pdf = {https://link.springer.com/content/pdf/10.1007/s10009-018-0502-9.pdf},
	ref = {DBLP:conf/fase/MullerMRSP17},
	refname = {FASE'17},
	study = {https://www.cs.cmu.edu/ smitsch/resource/components},
	author = {['Andreas Müller', 'Stefan Mitsch', 'Werner Retschitzegger', 'Wieland Schwinger', 'André Platzer']},
	title = {Tactical Contract Composition for Hybrid System Component Verification},
	journal = {STTT},
	volume = {20},
	number = {6},
	year = {2018},
	pages = {615-643},
	doi = {10.1007/s10009-018-0502-9},
	note = {Special issue for selected papers from FASE'17}
}