Model-Checking Techniques for Reliable Communication over Unreliable Media . Sindh University Research Journal - SURJ (Science Series), v. 43, n. 1, 14 Jul.2011.