Text this: Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos