Reliable servers:Design and implementation in Avalon/C++ | IEEE Conference Publication | IEEE Xplore