G Levitin, L Xing, BW Johnson, Y Dai - IEEE Transactions on Computers, 2015 - dl.acm.org
Life critical applications like space missions and flight controls require their computing
systems to be equipped with some fault-tolerance mechanism to meet stringent reliability …