@incollection{kaleeswaran2020counterexample,

title = {Counterexample Interpretation for Contract-Based Design},

author = {Arut Prakash Kaleeswaran and Arne Nordmann and Thomas Vogel and Lars Grunske},

url = {https://doi.org/10.1007/978-3-030-58920-2_7},

doi = {10.1007/978-3-030-58920-2_7},

year  = {2020},

date = {2020-01-01},

urldate = {2020-01-01},

booktitle = {Model-Based Safety and Assessment},

pages = {99--114},

publisher = {Springer International Publishing},

keywords = {automotive, contract-based design, counterexample, model checking, safety},

pubstate = {published},

tppubtype = {incollection}

}