Multithreading Design of a Reliable Aerospace Computer | IEEE Journals & Magazine | IEEE Xplore