DeDiSys Lite: an environment for evaluating replication protocols in partitionable distributed object systems | Publicación