Timed Model for Protocol Verification and Performance Analysis. Sindh University Research Journal - SURJ (Science Series), v. 37, n. 1, 8 Jun.2005.