State synchronization and recovery for strongly consistent replicated CORBA objects | IEEE Conference Publication | IEEE Xplore