Verifications of RMP: an efficient reliable multicast protocol | IEEE Conference Publication | IEEE Xplore