A software fault tolerance experiment for space applications | IEEE Conference Publication | IEEE Xplore