Procedure call duplication: minimization of energy consumption with constrained error detection latency | IEEE Conference Publication | IEEE Xplore