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