Timed Model for Protocol Verification and Performance Analysis. Sindh. Uni. Res. J. SS 2005, 37 (1). https://doi.org/10.26692/surj-ss.v37i1.6866.