A highly available transaction processing system with non-disruptive failure handling | IEEE Conference Publication | IEEE Xplore