Model Checking in Distributed Systems (in Chinese) - Lin, Haoxiang (Communications of the China Computer Federation, 2013)
Click the link for the paper.