Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faults | IEEE Conference Publication | IEEE Xplore