Reliability modeling of redundant computation for HPC systems.