Using optimistic atomic broadcast in transaction processing systems | IEEE Journals & Magazine | IEEE Xplore