EP3457659B1 - Method and System for Detecting Attacks on Cyber-Physical Systems Using Redundant Devices and Smart Contracts