The delay time-based server selection algorithm for energy-efficient redundant execution of processes. (2015)