@inproceedings {270447,
	author = {Sanjeev Kumar and Kai Li},
	title = {Using Model Checking to Debug Device Firmware},
	booktitle = {5th Symposium on Operating Systems Design and Implementation (OSDI 02)},
	year = {2002},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/osdi-02/using-model-checking-debug-device-firmware},
	publisher = {USENIX Association},
	month = dec
}
