Study on Costs of Software-based Heterogeneous Redundant Execution | IEEE Conference Publication | IEEE Xplore