Processor architectures for fault tolerant avionic systems | IEEE Conference Publication | IEEE Xplore