Quantification, Trade-off Analysis, and Optimal Checkpoint Placement for Reliability and Availability | Publicación