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