“Model-Checking Techniques for Reliable Communication over Unreliable Media ”. Sindh University Research Journal - SURJ (Science Series) 43, no. 1 (July 14, 2011). Accessed November 6, 2026. https://sujo.usindh.edu.pk/index.php/SURJ/article/view/6080.