Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware. - Carbin, Michael; Misailovic, Sasa; Rinard, Martin C. (Communications of the ACM, 2016)