EP3395643B1 - Method for Checking Safety Requirements of Ssi-Based Data Used in an Interlocking Control System