HARTs: high availability cluster architecture with redundant TCP stacks | IEEE Conference Publication | IEEE Xplore