Dependable automatic train control system using digital track signals | IEEE Conference Publication | IEEE Xplore