Launching astronauts: 50 years of electronic checkout and launch systems at the Kennedy Space Center | IEEE Journals & Magazine | IEEE Xplore