Machha Narender and Dr .R.P.Singh, “Formal Verification and Validates the Mobile Nodes using NNDRP”, GJCST, vol. 17, no. E2, pp. 65–72, Mar. 2017.