Highly-Reliable Approximate Quadruple Modular Redundancy with Approximation-Aware Voting | IEEE Conference Publication | IEEE Xplore