The propagation time of a radio pulse | IEEE Journals & Magazine | IEEE Xplore