An empirical investigation of fault types in space mission system software | IEEE Conference Publication | IEEE Xplore