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