M. N. Brohi and B. S. Chowdhry, “Timed Model for Protocol Verification and Performance Analysis”, Sindh. Uni. Res. J. SS, vol. 37, no. 1, Jun. 2005.