Design and Verification of Fault-Tolerant Components | Publicación