@inproceedings{DAC-2007-PatelS,
	author        = "Hiren D. Patel and Sandeep K. Shukla",
	booktitle     = "{Proceedings of the 44th Design Automation Conference}",
	doi           = "10.1145/1278480.1278489",
	pages         = "29--34",
	publisher     = "{IEEE}",
	title         = "{Model-driven Validation of SystemC Designs}",
	year          = 2007,
}