Monitoring and Predicating Accidents for Interlocking Systems Based on SHA | IEEE Conference Publication | IEEE Xplore