Evaluation of FPGA design tools for safety systems with on-chip redundancy referring to the standard IEC 61508. - Emil Gracie; Ali Hayek; Josef Börcsök (ICSRS, 2017)