Quantification, Trade-off Analysis, and Optimal Checkpoint Placement for Reliability and Availability | IEEE Conference Publication | IEEE Xplore