International Space Station integrated verification process | IEEE Conference Publication | IEEE Xplore