Safety Test Case Generation of Train-ground Transmission Function for CTCS Based on Fault Models | IEEE Conference Publication | IEEE Xplore