Dotti, F., & 		Ribeiro, L.
(2012).
Modeling Communication Semantics for Distributed Systems in Event-B.
In <em>Anais do XIII Workshop de Testes e Tolerância a Falhas</em>, (pp. 101-114). Porto Alegre: SBC.
doi:10.5753/wtf.2012.23083