Implementation of the normative safety case structure for satellite based railway applications | IEEE Conference Publication | IEEE Xplore