@inproceedings{KS2005,
  title = "Formal Verification of {SystemC} by Automatic Hardware/Software Partitioning",
  author = "Kroening, Daniel and Sharygina, Natasha",
  year = "2005",
  booktitle = "Proceedings of MEMOCODE 2005",
  pages = "101--110",
  publisher = "IEEE",
}