Man-machine system reliability and safety model of manned spaceflight | IEEE Conference Publication | IEEE Xplore