@inproceedings{bks2008-scoot,
  title = "Scoot: A Tool for the Analysis of {SystemC} Models",
  author = "Blanc, Nicolas and Kroening, Daniel and Sharygina, Natasha",
  year = "2008",
  booktitle = "Proceedings of TACAS 2008",
  note = "To appear.",
  publisher = "Springer",
}