Automatic train control and communications for Washington Metro | IEEE Journals & Magazine | IEEE Xplore