Dotti, Fernando, and Leila Ribeiro.
"Modeling Communication Semantics for Distributed Systems in Event-B." <em>Anais do XIII Workshop de Testes e Tolerância a Falhas,
Ouro Preto/MG, 2012</em>. SBC, 2012,  
pp.101-114.