Saleem Vighio and Anders P. Ravn, “Model-Checking Techniques for Reliable Communication over Unreliable Media ”, Sindh. Uni. Res. J. SS, vol. 43, no. 1, Jul. 2011.