Saleem Vighio, Anders P. Ravn. Model-Checking Techniques for Reliable Communication over Unreliable Media . Sindh. Uni. Res. J. SS [Internet]. 2011Jul.14 [cited 2026Jun.26];43(1). Available from: https://sujo.usindh.edu.pk/index.php/SURJ/article/view/6080