Software safety criteria and application procedure for the safety critical railway system | IEEE Conference Publication | IEEE Xplore