Bibtex:

@inproceedings{skbmtb2015,
  AUTHOR    = { Schrammel, Peter
                and Kroening, Daniel
                and Brain, Martin
                and Martins, Ruben
                and Teige, Tino
                and Bienm{\"u}ller, Tom },
  TITLE     = { Successful Use of Incremental {BMC} in the Automotive Industry },
  BOOKTITLE = { Formal Methods for Industrial Critical Systems (FMICS) },
  YEAR      = { 2015 },
  PUBLISHER = { Springer },
  PAGES     = { 62--77 },
  ISBN      = { 978-3-319-19457-8 },
  SERIES    = { LNCS },
  VOLUME    = { 9128 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.