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