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 20 September 2024]. Available from: https://publications.waset.org/pdf/5479.