M. Matash Borujerdi and  S.M. Mirzababaei,  Formal Verification of a Multicast Protocol in Mobile Networks.   journal   = {International Journal of Electronics and Communication Engineering}, [online]. World Academy of Science, Engineering and Technology.
    November 2007, vol. 11(11). 1715 - 1721
    [viewed 23 April 2024]. Available from: https://publications.waset.org/pdf/9137.