Using passive replicates in Delta-4 to provide dependable distributed computing | IEEE Conference Publication | IEEE Xplore