Energy-efficient replica voting mechanisms for secure real-time embedded systems | IEEE Conference Publication | IEEE Xplore