@inproceedings {yang:fisc:osdi,
        author = {Junfeng Yang and Paul Twohey and Dawson Engler and Madanlal Musuvathi},
        title = {Using Model Checking to Find Serious File System Errors},
        year = {2004},
        month = {December},
        booktitle = {Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI '04)},
        pages  = {273-288},
}