C.M., P. , Shet, K. (2009). 'Verification of Protocol Design using UML - SMV'. World Academy of Science, Engineering and Technology, Open Science Index 36, International Journal of Computer and Systems Engineering, 3(12), 2886 - 2890.