Mutual test and diagnosis: architectures and algorithms for spacecraft avionics | IEEE Conference Publication | IEEE Xplore