@inproceedings{CK03,
  title = "Hardware Verification using {ANSI-C} Programs as a Reference",
  author = "Clarke, Edmund and Kroening, Daniel",
  year = "2003",
  booktitle = "Proceedings of ASP-DAC 2003",
  isbn = "0-7803-7659-5",
  month = "January",
  pages = "308--311",
  publisher = "IEEE Computer Society Press",
}