Better Development of Safety Critical Systems: Chinese High Speed Railway System Development Experience Report | IEEE Conference Publication | IEEE Xplore