Implementing a Semi-Active Replication Strategy in CHORUS/ClassiX, A Distributed Real-Time Executive. - Anne-Marie Déplanche; Pierre-Yves Théaudière; Yvon Trinquet (SRDS, 1999)