DeDiSys Lite: An Environment for Evaluating Replication Protocols in Partitionable Distributed Object Systems