C.M., P. , Shet, K.. "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, (2009), 3(12), 2886 - 2890.