Permanent fault detection and diagnosis in the lightweight dual modular redundancy architecture | IEEE Conference Publication | IEEE Xplore