@inproceedings{OSDI-2002-MusuvathiPCED,
	author        = "Madanlal Musuvathi and David Y. W. Park and Andy Chou and Dawson R. Engler and David L. Dill",
	booktitle     = "{Proceedings of the Fifth Symposium on Operating Systems Design and Implementation}",
	doi           = "10.1145/1060289.1060297",
	ee            = "http://www.usenix.org/events/osdi02/tech/musuvathi.html",
	isbn          = "978-1-4503-0111-4",
	pages         = "75--88",
	publisher     = "{USENIX Association}",
	title         = "{CMC: A Pragmatic Approach to Model Checking Real Code}",
	year          = 2002,
}