Multi-machine hot standby architecture based on Tuxedo | IEEE Conference Publication | IEEE Xplore