MODIST: Transparent Model Checking of Unmodified Distributed Systems. - Junfeng Yang; Tisheng Chen; Ming Wu 007; Zhilei Xu; Xuezheng Liu; Haoxiang Lin; Mao Yang 004; Fan Long; Lintao Zhang; Lidong Zhou (NSDI, 2009)