Application of Assurance Technology for Railway Signaling System | IEEE Conference Publication | IEEE Xplore