In-orbit experiment on the fault-tolerant space computer aboard the satellite Hiten | IEEE Journals & Magazine | IEEE Xplore