Homogeneous Tightly-Coupled Dual Core Lock-Step with No Checkpointing Redundancy | Publicación