System Theoretic Process Analysis (STPA) of the Mars oxygen ISRU experiment (MOXIE) | IEEE Conference Publication | IEEE Xplore