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 (Jun. 2005). DOI:https://doi.org/10.26692/surj-ss.v37i1.6866.