@article {yang:fisc:tocs,
        author = {Junfeng Yang and Paul Twohey and Dawson Engler and Madanlal Musuvathi},
        title = {Using Model Checking to Find Serious File System Errors},
        year = {2006},
        month = {November},
        journal = {ACM Transactions on Computer Systems},
        volume  = {24},
        number  = {4},
        pages  = {393--423},
}