T. Minamikawa, T. Tsuchiya, and T. Kikuno. PRDC '08: Proceedings of the 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing, page 40--47. Washington, DC, USA, IEEE Computer Society, (2008)
E. Gafni. PODC '98: Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, page 143--152. New York, NY, USA, ACM, (1998)