A Dual-Layer Fault Manager for systems based on Xilinx Virtex FPGAs | IEEE Conference Publication | IEEE Xplore