Implementation of a fault-tolerant system using safety-related Xilinx tools conforming to the standard IEC 61508 | IEEE Conference Publication | IEEE Xplore