The Vela satellite program for detection of high-altitude nuclear detonations | IEEE Journals & Magazine | IEEE Xplore