Partha Dutta, Rachid Guerraoui, and Leslie Lamport June 2005
In Proceedings of the International Conference on Dependable Systems and Networks (DSN 2005)