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