Madanlal Musuvathi Andy Chou David L. Dill Dawson R. Engler Model checking system software with CMC. 219-222 2002 ACM SIGOPS European Workshop http://doi.acm.org/10.1145/1133373.1133418 conf/sigopsE/2002 db/conf/sigopsE/sigopsE2002.html#MusuvathiCDE02