DOTTI, Fernando Luís; RIBEIRO, Leila. Modeling Communication Semantics for Distributed Systems in Event-B. In: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 13. , 2012, Ouro Preto/MG. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2012 . p. 101-114. ISSN 2595-2684. DOI: https://doi.org/10.5753/wtf.2012.23083.