Borujerdi, M. , Mirzababaei, S. (2007). 'Formal Verification of a Multicast Protocol in Mobile Networks'. World Academy of Science, Engineering and Technology, Open Science Index 11, International Journal of Electronics and Communication Engineering, 1(11), 1715 - 1721.