Fernando Dotti and Leila Ribeiro. 2012.
 Modeling Communication Semantics for Distributed Systems in Event-B. In <em>Anais do XIII Workshop de Testes e Tolerância a Falhas</em>, abril 30, 2012, Ouro Preto/MG, Brasil. SBC, Porto Alegre, Brasil, 101-114. DOI: <a href="https://doi.org/10.5753/wtf.2012.23083">https://doi.org/10.5753/wtf.2012.23083</a>.