A technique for automated validation of fault tolerant designs using laser fault injection (LFI) | IEEE Conference Publication | IEEE Xplore