Differentiating the Starting Time of Processes in Energy-Efficient Redundant Execution Algorithm | IEEE Conference Publication | IEEE Xplore