@InProceedings{schrammel-fmics15,
  author =       {Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, and Tom Bienmuller},
  title =        {{Successful Use of Incremental BMC in the Automotive Industry}},
  booktitle =    {Formal Methods for Industrial Critical Systems},
  year =         2015,
  publisher =    {LNCS}
}