Dotti, F., & 		Ribeiro, L.
2012 Apr 30.  Modeling Communication Semantics for Distributed Systems in Event-B. Proceedings of the Fault Tolerance Workshop (WTF). [Online] :