Dotti, Fernando, E 		Ribeiro, Leila.
" Modeling Communication Semantics for Distributed Systems in Event-B" <em>Anais do Workshop de Testes e Tolerância a Falhas (WTF)</em> [Online], (30 abril 2012)