The MAFT architecture for distributed fault tolerance | IEEE Journals & Magazine | IEEE Xplore