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{\"{u}}ller and
              Stefan Mitsch and
              Werner Retschitzegger and
              Wieland Schwinger and
              Andr{\'{e}} 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}
}```