Low-overhead fault-tolerant logic for field-programmable gate arrays. - James Davis 013 (2015)