Sequoia: a fault-tolerant tightly coupled multiprocessor for transaction processing | IEEE Journals & Magazine | IEEE Xplore