HICore1: "Safety on a chip" turnkey solution for industrial control. - Ali Hayek; Bashier Machmur; Michael Schreiber; Josef Börcsök; Stefan Golz; Mario Epp (ASAP, 2014)