F. Dotti and L. Ribeiro.
"Modeling Communication Semantics for Distributed Systems in Event-B", in <em>Anais do XIII Workshop de Testes e Tolerância a Falhas</em>, Ouro Preto/MG, 2012, pp. 101-114, doi: <a href="https://doi.org/10.5753/wtf.2012.23083">https://doi.org/10.5753/wtf.2012.23083</a>.