@inproceedings{OSDI-2002-KumarL,
	author        = "Sanjeev Kumar and Kai Li",
	booktitle     = "{Proceedings of the Fifth Symposium on Operating Systems Design and Implementation}",
	doi           = "10.1145/1060289.1060296",
	ee            = "http://www.usenix.org/events/osdi02/tech/kumar.html",
	isbn          = "978-1-4503-0111-4",
	pages         = "61--74",
	publisher     = "{USENIX Association}",
	title         = "{Using Model Checking to Debug Device Firmware}",
	year          = 2002,
}