Application of Space Station Freedom (SSF) DMS technology to fault tolerant avionics systems | IEEE Conference Publication | IEEE Xplore