High assurance technologies for autonomous decentralized train control system | IEEE Conference Publication | IEEE Xplore