SALEEM VIGHIO; ANDERS P. RAVN. Model-Checking Techniques for Reliable Communication over Unreliable Media . Sindh University Research Journal - SURJ (Science Series), [S. l.], v. 43, n. 1, 2011. Disponível em: https://sujo.usindh.edu.pk/index.php/SURJ/article/view/6080. Acesso em: 26 jun. 2026.