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). https://sujo.usindh.edu.pk/index.php/SURJ/article/view/6080.