@inproceedings{DBLP:conf/fmics/SchrammelKBMTB15,
  title = "Successful Use of Incremental {BMC} in the Automotive Industry",
  author = "Peter Schrammel and Daniel Kroening and Martin Brain and Ruben Martins and Tino Teige and Tom Bienm{\"{u}}ller",
  year = "2015",
  booktitle = "Formal Methods for Industrial Critical Systems, {FMICS} 2015",
  pages = "62--77",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "9128",
}