F. Dotti and L. Ribeiro.
" Modeling Communication Semantics for Distributed Systems in Event-B", in <em>Proceedings of the 13th Workshop on Testing and Fault Tolerance</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>.