“Real-Time Innovations' software runs NASA's launch control system.”