“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.