Assurance technologies for autonomous train on-board computer system | IEEE Conference Publication | IEEE Xplore