Software Architecture for Redundant Computing Platform Embedded in Space Vehicles | IEEE Journals & Magazine | IEEE Xplore