Intelligent railway interlocking safety verification based on annotated logic program and its simulator | IEEE Conference Publication | IEEE Xplore