M. N. Brohi; B. S. Chowdhry. Timed Model for Protocol Verification and Performance Analysis. Sindh. Uni. Res. J. SS 2005, 37.