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