Somersault Software Fault-Tolerance
Byzantine generals in action: implementing fail-stop processors