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