Distributed fault tolerance: lessons from Delta-4 | IEEE Journals & Magazine | IEEE Xplore