M. N. Brohi, and B. S. Chowdhry. “Timed Model for Protocol Verification and Performance Analysis”. Sindh University Research Journal - SURJ (Science Series) 37, no. 1 (June 8, 2005). Accessed May 11, 2026. https://sujo.usindh.edu.pk/index.php/SURJ/article/view/6866.