An empirical investigation of fault repairs and mitigations in space mission system software | IEEE Conference Publication | IEEE Xplore