Automated Derivation of Application-Aware Error Detectors Using Static Analysis: The Trusted Illiac Approach | IEEE Journals & Magazine | IEEE Xplore