Redundancy implementations and consideration of related failures in spacecraft electronic systems | IEEE Conference Publication | IEEE Xplore