@inproceedings { BlancKS08,
	title = {Scoot: A Tool for the Analysis of SystemC Models},
	booktitle = {TACAS},
	year = {2008},
	pages = {467-470},
	author = {Nicolas Blanc and  Daniel Kroening and  Natasha Sharygina}
}