Text this: Delta-4, a generic architecture for dependable distributed computing /