Train Resources Conflict Detection of NGTC Based on Probabilistic Timed Automata | IEEE Conference Publication | IEEE Xplore