A methodology for system-level fault injection based on gate-level faulty behavior | IEEE Conference Publication | IEEE Xplore