M. N. Brohi, and B. S. Chowdhry. 2005. “Timed Model for Protocol Verification and Performance Analysis”. Sindh University Research Journal - SURJ (Science Series) 37 (1). https://doi.org/10.26692/surj-ss.v37i1.6866.