Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno. Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. In 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan. pages 40-47, IEEE Computer Society, 2008. [doi]