safe.trAIn – Engineering and Assurance of a Driverless Regional Train | IEEE Conference Publication | IEEE Xplore