Saleem Vighio and Anders P. Ravn (2011) “Model-Checking Techniques for Reliable Communication over Unreliable Media ”, Sindh University Research Journal - SURJ (Science Series), 43(1). Available at: https://sujo.usindh.edu.pk/index.php/SURJ/article/view/6080 (Accessed: 26June2026).