@inproceedings {modist:nsdi09,
        author = {Junfeng Yang and Tisheng Chen and Ming Wu and Zhilei Xu and Xuezheng Liu and Haoxiang Lin and Mao Yang and Fan Long and Lintao Zhang and Lidong Zhou},
        title = {{MODIST}: Transparent Model Checking of Unmodified Distributed Systems},
        year = {2009},
        month = {April},
        booktitle = {Proceedings of the Sixth Symposium on Networked Systems Design and Implementation (NSDI '09)},
        pages  = {213--228},
}