Nazar, Gabriel, Kopper, Pedro, Leipnitz, Marcos, AND Juurlink, Ben. " Lightweight Dual Modular Redundancy through Approximate Computing" Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC) [Online], (22 November 2021)