Case study of differential-GPS safety integrity performance on Qinghai-Tibet railway line | IEEE Conference Publication | IEEE Xplore