“Timed Model for Protocol Verification and Performance Analysis”, Sindh. Uni. Res. J. SS, vol. 37, no. 1, Jun. 2005, doi: 10.26692/surj-ss.v37i1.6866.