Dotti, F., & 		Ribeiro, L.
(2012).
 Modeling Communication Semantics for Distributed Systems in Event-B.
In <em>Proceedings of the 13th Workshop on Testing and Fault Tolerance</em>, (pp. 101-114). Porto Alegre: SBC.
doi:10.5753/wtf.2012.23083