Prashanth C.M. and  K. Chandrashekar Shet,  Verification of Protocol Design using UML - SMV.   journal   = {International Journal of Computer and Systems Engineering}, [online]. World Academy of Science, Engineering and Technology.
    December 2009, vol. 36(12). 2886 - 2890
    [viewed 16 April 2021]. Available from: https://publications.waset.org/pdf/5479.