Formal Modeling and Analysis of an IETF Multicast Protocol | IEEE Conference Publication | IEEE Xplore