Dotti, F., & 		Ribeiro, L.
2012 abr 30.  Modeling Communication Semantics for Distributed Systems in Event-B. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :