Saleem Vighio; Anders P. Ravn. Model-Checking Techniques for Reliable Communication over Unreliable Media. Sindh. Uni. Res. J. SS 2011, 43.