Redundant Time Synchronization Mechanism Using Kalman filter in Train Communication Network | IEEE Conference Publication | IEEE Xplore