@inproceedings{brauer12inferring,
  author = {J. Brauer and A. Simon},
  title = {Inferring {D}efinite {C}ounterexamples {T}hrough {U}nder-{A}pproximation},
  booktitle = {NASA Formal Methods},
  editor = {A. E. Goodloe and S. Person},
  month = {April},
  year = 2012,
  series = {LNCS},
  volume = {7226},
  publisher = {Springer},
  address = {Norfolk, Virginia, USA},
}