Redundancy management software services for Seawolf ship control system
Reaching Agreement in the Presence of Faults