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). doi: 10.26692/surj-ss.v37i1.6866.