Study and application of fault injection in HLA-based train control simulation system | IEEE Conference Publication | IEEE Xplore