Assurance Technology for Autonomous Decentralized Train Control System | IEEE Conference Publication | IEEE Xplore